implicit product rule